| 1. | For an introduction to relation algebra, see Maddux ( 2006 ).
|
| 2. | Relation algebra is arguably the culmination of Leibniz's approach to logic.
|
| 3. | For the theoretical explanation see Relation algebra.
|
| 4. | Since residuated Boolean algebras are axiomatized with finitely many identities, so are relation algebras.
|
| 5. | The relational example constitutes a relation algebra equipped with an operation of reflexive transitive closure.
|
| 6. | Ampersand is the name of a programming language, which uses relation algebra to specify information systems.
|
| 7. | Hence the latter form a variety, the variety "'RA "'of relation algebras.
|
| 8. | Augustus De Morgan discovered relation algebra in his " Syllabus of a Proposed System of Logic ".
|
| 9. | The equational form of relation algebra treated here was developed by Alfred Tarski and his students, starting in the 1940s.
|
| 10. | No axiom requires more than three quantified variables; hence a translation of first order theories into relation algebra is possible.
|